TSTP Solution File: ITP019^7 by Nitpick---2016